"Ganesh Gopalakrishnan" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

Ganesh Gopalakrishnan, Shaz Qadeer

14.60 Mb

#2

Computer Aided Verification - CAV 2011

Ganesh Gopalakrishnan, Shaz Qadeer

8.79 Mb

#3

Computation Engineering: Applied Automata Theory and Logic

Ganesh Gopalakrishnan

3.66 Mb

#4

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

7.03 Mb

#5

Computation Engineering

Ganesh Gopalakrishnan

3.97 Mb

#6

Computation engineering: applied automata theory and logic

Ganesh Gopalakrishnan

3.60 Mb

#7

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Ganesh Gopalakrishnan, Phillip Windley

4.13 Mb

#8

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings

Ganesh Gopalakrishnan, Phillip Windley

4.14 Mb

#9

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Категория: Computing & information technology

2.97 Mb

#10

Theorem proving in higher order logics, 17 conf., TPHOLs 2004

Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan

Категория: Cs_Computer science, CsLn_Lecture notes

4.64 Mb